Have a folder for dev, and test other formal code