Why Pintos?

Why the name Pintos?

First, like nachos (the operating system previously used in CS 162), pinto beans are a common Mexican food. Second, Pintos is small, and a pint is a small amount. Third, like drivers of the eponymous car, students are likely to have trouble with blow-ups.