The pseudo file system that is behind PAGS