(compile -s -O2 -d1 tx.scm -j tabexpand -o tabexpand.so)
(compile -s -O2 -d1 tabexpand.import.scm)

(install-extension
 'tabexpand
 '("tabexpand.so" "tabexpand.import.so")
 '((version 1.7)))