Raw pointer

Finalize port the the new Rust raw pointers form.