i was going to send you a c++filt since we just deleted ours, but i don't think i can call a toy c++filt given that + isn't allowed in an identifier...