“I call a program like that, one that appears to produce correct results but breaks one or more of the stated rules, a Kobayashi Maru”