PascalPL, Hombre, Witten