fn hdr num_args tag

tag tag_type closure0_type::tag