char * get_rotation ();
void set_rotation (char *rotation);