ASSERT(frame_type == ATOMICALLY_FRAME);
ASSERT(outer == NO_TREC);
r = foreign "C" stmWait(MyCapability() "ptr", CurrentTSO "ptr", trec "ptr") [];
ASSERT(frame_type == ATOMICALLY_FRAME);
ASSERT(outer == NO_TREC);
r = foreign "C" stmWait(MyCapability() "ptr", CurrentTSO "ptr", trec "ptr") [];