let reference_size ty = match findAttribute arraylen_attr_name (typeAttrs ty) with | [AInt i] -> Int64.of_int i | _ -> assert false