method vattrparam pattr = Jessie_options.feedback "%a" !Ast_printer.d_attrparam pattr; visitor#vattrparam pattr