Write appdef spec