Handle replace (int rights)
Handle replace(int rights) { throw UnimplementedError( 'Handle.replace() is not implemented on this platform.'); }