Module Pp_extended_test