my pintos code