可変参照の排他性なんかは場合によっては効率性を犠牲にしても安全側に倒してる例だね。