let
sizeof_char = 1