/* sysdep: -ulong32 */
typedef unsigned int uint32;