Don't forget the locking semantics. That was fun and caused Sage to fail.