# No warning or error expected.