Update int.inc