defs-example 9.3 KB