element fn hdr num_args tag

tag tag_type closure1_type::tag