accept SEIZE do BUSY := TRUE; end
