/* sysdep: +ulong32 */
typedef unsigned long uint32;