(continue translating from line 140)