element fn hdr num_args tag

num_args int closure1_type::num_args