category interface {
  exported_count = { maximum = 4; };
}
