added out_uint64_le