Implement enter_procedure() as for the function, tests are needed now