#include "header.h"

int main(){
  int res = simple_csrbr_test();
  if (res < 0) {
    fail();
    return 0;
  }else
    return 0;
}