Value propagation: store arguments in binary simulation memory. Implement tul::memFree(). Rename Memory::node_addr to Memory::node_addrs.