A sane control flow library.