// REQUIRED_ARGS: -o-
// PERMUTE_ARGS:

import protection.bug.bug14275;