WARNING
       The authors make no warranty, implied or otherwise, about
       the suitability of this software for safety or security
       purposes.