inf loop pfs