D ← D − H as IL code