Fun with x86_64 FC6t1