Symbol: nanddev_ntargets