#include "some-problems.h"

int frob(char* freb) {
  return 42;
}