Beginning programmers often add a return statement at the end of each procedure:

void inc $($int$*$ x$)$

$\{(*$x$)++$;

return;

$\}$

The thinking is that, as with switch statements, there might be a $$fall$-$through$$ if the return is not there. Could a function mechanism be designed that would allow this? Would it make sense to have such a mechanism?