Pack a 32-bit integer to raw bytes (big-endian)

Usage

mangoro_pack_int32(x)

Arguments

x: An integer value

Value

A raw vector of length 4