import org.jetbrains.annotations.NotNull;

public class Test {

  public @NotNull Integer f(@NotNull Integer p) { return p; }

}