adjust glproc.cpp to include regal versions of the _gl* driver calls, have regaltrace.py call those