structure Mailbox : MAILBOX = Mailbox
structure SyncVar : SYNC_VAR = SyncVar