static int clipIntPlus(int a, int b) { ret longToInt_clip(((long) a) + b); }