Add a new helper to spec.

pack_int helper added.
This new helper is used in library/socket/basicsocket/setsockopt
spec.