Initial commit of tagged_ptr