[avr-gcc-list] light up and led

[Timothy Smith]

#include <avr/io.h>

int
main(void){
   DDRA |= 1<<PA0;
   
   while (1) {
       PORTA &= !(1<<PA0);
       
   };
}

i want the following code to light the led connected to porta pin0, it 
should work?