typedef int32