;; THIS FILE IS GENERATED
(
("write-number-as-english" "(write-number-as-english num port)" "index.html" "index-write_002dnumber_002das_002denglish-1" "")
("write-number-as-short-scale-english" "(write-number-as-short-scale-english num port)" "index.html" "index-write_002dnumber_002das_002dshort_002dscale_002denglish-2" "")
("write-number-as-long-scale-english" "(write-number-as-long-scale-english num port)" "index.html" "index-write_002dnumber_002das_002dlong_002dscale_002denglish-3" "")
("number->english" "(number->english num)" "index.html" "index-number_002d_003eenglish-4" "")
("number->short-scale-english" "(number->short-scale-english num)" "index.html" "index-number_002d_003eshort_002dscale_002denglish-5" "")
("number->long-scale-english" "(number->long-scale-english num)" "index.html" "index-number_002d_003elong_002dscale_002denglish-6" "")
)