Add missing glue-ints function