[gaganyaan]

I think you read their comment backwards? I'd expect the higher level language to be terser in most scenarios.