Update to use new debug info encoding scheme. As a bonus, now the test passes!