http://www.zeab.org/syz6x.html