mawk: mawk 1.3.4.2017 (AWK interpreter)  
mawk:  
mawk: mawk is an awk interpreter. It is smaller yet much faster that GNU AWK 
mawk: (gawk). Mawk can mean Mike's awk (Mike Brennan was the original 
mawk: author). It can also mean 'Much-faster AWK' because of its speed.
mawk: 
mawk: http://invisible-island.net/mawk/ 
mawk: 
mawk: 
mawk: 
mawk: 

