(semantics_main + sum l : Locals . defer_qout(l) . semantics_async(blocking={},released=[],reply=replies(#x:semantics-provides-reply-init),port=no_port))