Add potentially sane synchronization code