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