Add const attribute for optimization.
Merge remote-tracking branch 'origin/checked' into spike