I noticed that html docs specify loadsp/storesp as 0b011x_xxxx/0b010x_xxxx, but while disassembling hello_world's elf file with objdump (precompiled one from zylin/zpugcc), instruction 0x70 (0b0111_0000) decodes to loadsp 0, when I expected to see loadsp 64 (16 << 2). Clarification on what's happening would be very helpful.