changed pointer syntax
removed boxes since mutable pointers will suffice