{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"self.write_memory(set,"}]}
                self.write_memory(set, &[1])?;
                // Only enable core 0 (we are single threaded anyway), which is bitset 0x0000001
                // return 0 as success