{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//"}]}
// we should optimize in the future! We also assume that everything should be copied back and forth,
// Since in our frontend users (by default) don't have to specify data transfer, this is something
// but sometimes we can directly zero-allocate on the device and only move back, or if something is