Change all ;;; to ;;.
Add something explicit about unboxed values.