{ "chipname": "esp32c5", "extra_instruction_groups": [ "addcti" ] }