void main ()

{
init_expbd_servos(1);
while(1)
{
if (stop_button()==1)
{
servo5=600;
}
else if (start_button()==1)
{
servo5=4200;
}
}