public static void logProgramPoint(int ppid, int fid) { if (skipmode()) return; supervisor.logProgramPoint(ppid, fid); }