added P32.hs