✓
Passing This code compiles and runs correctly.
Code
~import "$std/kernel"
~std.kernel:shape(Body) { mass: f64 }
~pub event main {}
~proc main {
~std.kernel:init(Body) { mass: 1.0 }
| kernel k |> std.io:print.ln("k slice len: {{ k.len:d }}")
}