Debugging helsinki-post v6