// PERMUTE_ARGS:

import imports.test67a;

interface I
{
}

interface SubI : I
{
}