BUSY
MPASS(os.flags == BUSY);
if (ns.flags != BUSY) {
MPASS(os.flags == BUSY);
if (ns.flags != BUSY) {
ns.flags = BUSY;
if (os.flags != BUSY)
ns.flags = BUSY;
if (os.flags != BUSY)
ns.flags = BUSY;
return (BUSY);