When is Undefined Behavior OK? · HackerTrans