code/prototrace/defs.uf