debugging interactive execution skeleton