Added @SideEffectFree annotation.