language-design 677