public static void logEnter(int fid) { if (skipmode()) return; supervisor.logEnter(fid); Logger.log("ENTER: " + fid); }