public class Peter
{
  public sillyProc() { }
} // class Peter