Implementation of the TAInC language