[nhc-bugs] Integer divide bug in nhc98 causes runtime segfault