--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/kps/bfpp	Tue Dec 31 17:47:30 2019 +0000
@@ -0,0 +1,7 @@
+#!/bin/bash -e
+
+set -o pipefail
+
+{ cat <<<"#define __NEWLINE__ ÿ"$'\n'"#define __ICOUNTER__ þ"$'\n'"" ; cat "$1" | sed -e "1!b" -e '/#/d' ; } | gcc -E -I. -Ilib - -o "$1.i"
+perl -pe "s/\xFF/\x0A/g;" < "$1.i" | perl -pe 's/\xFE/$x++/ge;' | /bin/labels.pl | sed '/^#/ d' > "$1.p"
+rm -f "$1.i"