SystemF2r: more example