[4+ExecSemantics-+default+behavior.png]