[badminton1]

Many checks still need to be done in runtime. Bindings to C code can cause the program to exit if you pass incorrect input.