Add the header_json() library routine.