#include "setup.h"
#include "tlc.h"
int main(void)
{
init_port();
while (1)
{
if (check_pedestrian_switch())
{
if ((PORTA & RED) == RED)
{
pedestrian_crossing();
}
}
else
{
green_phase();
yellow_phase();
red_phase();
}
}
}