is this file included in the examples dir? can we include directly rather than copy-pasting it here?