driver: debugging