FIX Writing semantic output.