TESTS: corrected function-test.red