;; /tmp/bigloo/api/csv/src
;; Fri Dec 22 17:20:21 2023

(
  (csv "bigloo.csv.csv")
  (__csv_make_lib "bigloo.csv.make_lib")
)

