# -*- awk -*- well, actually this file goes to sed...
