"integer" is now just "int"