let
sizeof_int = 4