Pceas includes

I might have done something wrong with this branch but anyway... here it is!