if (NULL == arg1) result = INVALID_ARG1;
else if (arg2 < 42) result = INVALID_ARG2;
else {
 ....
}
end_code(context);
return result;

При неструктурном программировании проблемы с end_code случаются регулярно, в том числе и критические, а "образец читаемости и вникаемости" (с) получается, как правило, от низкой культуры кодирования, которая, в свою очередь, прививается при использовании неструктурного подхода.