Module Initial_TDSL.O