Small example from the tutorial: rotating triangle