ntdfa: First cut