/tinyc/lib/