MUTEX

open fun MUTEX(): TerminalNode