ntdfa: naive verion works