// Files in the /bin folder are not tested. Everything that can be tested should be in the /lib folder and this file
// should be as short as possible.

int main(int /* argc */, char** /* argv */) {
  return 0;
}
