PRAGMA Англо-русский перевод PRAGMA указание транслятору, псевдокомментарий Big English-Russian dictionary . Большой Англо-Русский словарь. 2012