The TC EXU specification