Port skeleton examples to mirage 2.0 dev APIs