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