// WITH_STDLIB
// TOOL: DataFlowInspection
