int  get_rotation ();
void set_rotation (int);
int check_init_rotation(void);