Add 64tass (formula tass64).