idef0-detail