visitor: sh_fn_info, heap number, arrays