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