Maybe-better int typedefs
Fixed overflow into kernel data structures from 2nd kernel stack