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