asdf systems for examples/demos