D ← H − D as IL code