void processSpecialKeys (int key, int mx, int my) {
    switch(key){
    case GLUT_KEY_LEFT :
        positionx-=2.0;
        // glutPostRedisplay();
        break;
    case GLUT_KEY_RIGHT :
        positionx+=2.0;
        // glutPostRedisplay();
        break;
    case GLUT_KEY_UP :
        positiony+=2;
        // glutPostRedisplay();
        break;
    case GLUT_KEY_DOWN :
        positiony-=2;
        // glutPostRedisplay();
        break;
    default:
        break;
    }
}