#include "renamed.h"

int main(int, char **)
{
  Renamed ren;
  return ren.foo();
}