// REQUIRED_ARGS: -de
// EXTRA_FILES: imports/f313.d
import imports.f313;

void test()
{
    imports.f313.bug();
}