So there is no support for exception handling ... use basic flow analysis to determine whether a variable *can* be zero. Then you can simply disallow division by variables that are potentially ...