Module Err_test