void
setup()
{
  pinMode( GREEN_LED, OUTPUT );      
  pinMode( PUSH2, INPUT_PULLUP );     
}

void
loop()
{
  if( digitalRead( PUSH2 ) )
    digitalWrite( GREEN_LED, LOW );  
  else
    digitalWrite( GREEN_LED, HIGH );
}