Sync for Valgrind