e_explicit_sync: make an internal header