Zhou's file system extension