output operator CFG still works