let div a b = a / b let () = let _ = div 3 0 in () ;;