libnormalform_xor.3