module PFE1 where