udf.c: short version