Modified def of exec, +higher lvl defs