/lib/SATS/
../
init.sats
writer.sats