WIP: debugging coverage