bitmatch bs with
| { value : bits : endian(e);
name_ptr : bits : endian(e);
bs : -1 : bitstring } ->
let name = Virt_mem_mmap.get_string mem name_ptr in
bitmatch bs with
| { value : bits : endian(e);
name_ptr : bits : endian(e);
bs : -1 : bitstring } ->
let name = Virt_mem_mmap.get_string mem name_ptr in