In the middle of `compileDef`