let get_struct_info = function | TComp(compinfo,_,_) -> compinfo | _ -> Jessie_options.fatal "non-struct (info)"