translator no longer emits set_skip