buffer_from_offset
input.buffer_from_offset(h.off_mem_rsvmap, 0);
input.buffer_from_offset(h.off_dt_struct, h.size_dt_struct);
input.buffer_from_offset(h.off_dt_strings, h.size_dt_strings);
input_buffer name_buffer = strings.buffer_from_offset(name_offset);
input_buffer buffer_from_offset(int offset, int s=0);