exception-free code