# Force execution of GL commands in finite time
fun glFlush `{ glFlush(); `}