Hot: debugging