Just a quick question that I couldn't find the answer to anywhere. According to the system module description, cint is supposed to be equivalent to using "int" in C. However, cint is explicitly defined as int32, whereas C does not require "int" to be 32 bits. Of course most C implementations do use 32 bit integers, but for correctness, wouldn't it make more sense to either let cint be compiler-dependent, or at least change its description to point out this minor issue?