libnormalform_xor_checked.3