public class MyFragment extends Fragment {
	// OK: super class enforces reference equality
	private int anotherField;
}