mark_obj_codetag_empty
mark_obj_codetag_empty(vec);
mark_obj_codetag_empty(obj_exts);
mark_obj_codetag_empty(sheaf);