// TODO: Dummy code for now. global storage_write: JUMPDEST PUSH 123 // Whatever. POP BYTES 0x1, 0x02, 3