I confirm that the address "SMJ12qn9jNCCXJnTYRz5Yu9ZenERpdErkh" is a good burn address. You can verify it yourself by going to
http://lenschulwitz.com/base58 and decoding it. It decodes to 3F0000000000000000000000000000000000000000492D7DF2, which is properly version+data+checksum
Glad someone else managed to do this, I just have not had the time to try to get hefty working in my program