Add first example from 1.5.3