// LANGUAGE_LEVEL 1.8
// WITH_STDLIB
// COMPILER_ARGUMENTS: -jvm-target, 1.8