/* MACHINE GENERATED */


/* du.c                 */