Added void_type in enter_procedure