some debug info, and tinier examples