formatted proglangs.js