quint examples with production and test scripts in separate files