compiler (probably) meets specification!