insert "\n/*V--------------------------V--------------------------V*/\n";
paste;
if (x != 0) insert "\n";
insert   "/*A--------------------------A--------------------------A*/\n";