int frob()
{
  return 4;
}