Example sources for compilation with ghc-dsi