Either PHP is fucked (unlikely) or I'm using PHPUnit wrong.