
// two processes running concurrently

// dummpy header
readport(n)
doze()
settimer0()
settimer1()
ei()
di()

cnt		// global counter

int0()
  x = readport(13)	// read master clock
  print(x)

int1()
  cnt = cnt + 1
  print(cnt)

// empty ISR (must be present)
int2()
int3()

main()
  settimer0(200)
  settimer1(400)
  ei(1)
  cnt = 0
  while( 1 )
    doze()	// sleep and wait for int
