(semantics_main + sum l : Locals . defer_qout(l) . semantics_async(port=no_port))