Work on the execution module