// PERMUTE_ARGS:
import object;
void fun(string) { }