1def main():
 2  pid = sys_fork()
 3  sys_sched()  # non-deterministic context switch
 4  if pid == 0:
 5    sys_write('World\n')
 6  else:
 7    sys_write('Hello\n')
 8
 9# Outputs:
10# Hello\nWorld
11# World\nHello