Breaking HK 17 in Practice