fixing procedures_defnoreturn