I don't think I understand the problem. If we get a u64, we know psize and temp_buffer_len are 8, right? So we need to fully clear the temp_buffer afaics, so we can just set temp_buffer.u64 to 0. Am I missing something?