#include "something.h"

int main(void)
{
  nothing();
  return 0;
}