#include <compiler.h> 
 
SFRX( CONTROL_8255, 0x280b ); 
 
void main() 
{ 
CONTROL_8255 = 0x80; 
}