Pintos está escrito en el Lenguaje de programación C en lugar de en C++.