Create TinyDST.h