./13/Coat-Button: triple-colour: code-size reduction.