BefunExec Refactoring [Step 1]
BefunExec Refactoring [Step 2]