//4, 7 -> 4, 8   AllowLoadtime == true
package p;

class S {
}