/* should not generate diagnostics */