File XLOG 4.2 number

1 Predicate number_codes/2