cv3d_mondefok
if (!cv3d_mondefok(gv))
if (!cv3d_mondefok(gv)) {
int cv3d_mondefok(struct grfvideo_mode *);