compiler meets specification!