Or since this seems to be purely for the user's eyes, just go with `{json_pointer, <<"/obj/arr_prop/0">>}` ? :)