Integer_literal loading ...