shark example seems to work (with many XXX)