More debugging information is added in Pi.hs.