) {
        Instrumented.directoryContentObserved(thisFile, consumer);
        return thisFile.list(filenameFilter);
    }

    @InterceptCalls
    @InstanceMethod
    public static long intercept_length(
        @Receiver File thisFile,
        @CallerClassName String consumer
    ) {
        Instrumented.fileOpened(thisFile, consumer);
        return thisFile.length();
    }