Is this code covered by any specs?