Abtracting typed_pointer_to_string