def dump_force_arith(json_dict, hlir):
    force_arith = []

    headers = ["standard_metadata", "intrinsic_metadata"]

    for header_name in headers:
        if header_name not in hlir.p4_header_instances:
            continue
        p4_header_instance = hlir.p4_header_instances[header_name]
        p4_header_type = p4_header_instance.header_type
        for field, _ in p4_header_type.layout.items():
            force_arith.append([header_name, field])

    json_dict["force_arith"] = force_arith