Debugging helsinki-post v7