
taken from 'symexamples' (from Tao Xie)

