Updating: adding prelude/integer_ptr