Got conversion to PTExp going