Edit File: debug_sync.h