Function encode_header

src/wasm-bin.cc:11–14

// Encoding

void encode_header(char*& ptr) {
  std::memcpy(ptr, "\x00""asm\x01\x00\x00\x00", 8);
  ptr += 8;
}

auto u64_size(uint64_t n) -> size_t {
  bool done = false;