Re-sync with memcheck translation engine