A language with memory-mapped structured control flow [Public domain]