some naive tools in awk