A compiler of PCAT