separating some of the debug cruft from NoPLRuntime.h out into a different header, prefixing all the NoPL functions with ‘nopl_’