F

### colorized by sedsed, a debugger and code formatter for sed scripts