tests for List.Real