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