./13/Coat-Button: single-colour: code optimization.