use 32bit ints for ASHC