Writing and downloading a simple program with RobotC for Cortex

Here's the code presented in the video:
#pragma config(Sensor, dgtl1, led, sensorLEDtoVCC)
//*!!Code automatically generated by 'ROBOTC' configuration wizard !!*//

task main()
{
while(true)
{
SensorValue(led) = 1;
wait1Msec(500);
SensorValue(led) = 0;
wait1Msec(500);
}


}