Fresh copy of pintos/src