Mark_procedure