Sync with compiler