Redcode syntax