now compiler meets specification!