How is the inlined result not `@system`? You are indexing a raw pointer.