Tests/InterfaceLibrary/dummy.cpp

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