procedure bitcount(500) = 6
function bitcount(501) = 7
function bitcount(502) = 7
function bitcount(503) = 8
function bitcount(504) = 6
function bitcount(505) = 7
function bitcount(506) = 7
function bitcount(507) = 8
function bitcount(508) = 7
function bitcount(509) = 8
function bitcount(510) = 8
function bitcount(511) = 9
function bitcount(512) = 1
function bitcount(513) = 2
procedure vword(314159) = 314159
procedure lgconv(integer(~10^30)) = 1000000000000000000000000000000
procedure unpack("abcd") = 1684234849
procedure pack(1684234849) = abcd
