#!/usr/bin/awk -f
BEGIN { mode="line" }
{
    if (mode == "line") {
        if ($0 ~ /^%%%$/) {
            mode="block";
        } else if ($0 ~ /^%.*$/) {
            print substr($0, 3);
        } else {
            gsub(/'/, "'\"'\"'", $0);
            print "emit '" $emit "'";
        }
    } else if (mode == "block") {
        if ($0 ~ /^%%%$/) {
            mode="line";
        } else {
            print $0;
        }
    }
}