A synthetic translation-terminator gene