code specification