ATPDA is running