text: #include <dsverifier.h>
  
  digital_system controller = {
          .b = { 1.51, -1.3586 },
          .b_size = 2,
          .a = { 1.0, -1.0},
          .a_size = 2,
          .sample_time = 0.2
  };
  
  implementation impl = {
          .int_bits = 3,
          .frac_bits = 16,
  	.max_error = 0.01,
          .max = 1.0,
          .min = -1.0,
          .scale = 1
  };
  
  digital_system plant = {
          .b = { 0.0264f },
          .b_size = 1,
          .a = { 1.0f, -0.9998f },
          .a_size = 2
  };
  
  