examples (draft)
core subset example (draft)