{
  "degree": 4,
  "width": 32,
  "int_width": 16,
  "is_signed": true
}