libnormalform_nif.3