A simple control flow library.