{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
    // I decided that 1024 bytes is a great placeholder value for now.
    // Then, we will be able to figure out that e.g. `&[f32;256]` will result in 4*256 bytes.
    add_priv_unnamed_arr(&cx, &format!(".offload_sizes.{num}"), &vec![1024; num_ptr_types]);