386a5bd68d ^
1 2 3 4 5 6 7 8 9
public class JavaClient_1 { int foo() { ((A) null).f(); ((B1) null).f(); ((B2) null).f(); ((B3) null).f(); return ((B4) null).f(); } }