let sizeof_double = 8