let build_elem ~addrlab ~mlab elem =
  match build_elem_opt ~addrlab ~mlab elem with None -> assert false
    | Some elem -> elem