method vslice_pragma = visitor#vslice_pragma