Example: ALE bound to 2HKK