let post_redisplay f x =
  glutPostRedisplay();
  (f x)