tas/src/lib.rs