It is also very nice for safety related tasks because it makes a code audit much simpler.