exception at "Exn0./":
  integer division by zero.