typedef int int32;