added a redcode spec