Edit: debug_sync.h