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