WIP:migrate from examples to specs