void queue_twist(int face, int ccw);