enter_procedure implemented