#include <intrins.h>
#include <stdio.h>                 /* for printf */
void tst_nop (void) {
    P1 = 0xFF;
    _nop_ ();                      /* delay for hardware */
    _nop_ ();
    _nop_ ();
    P1 = 0x00;
}