/sys/src/libsat/