pact4s

Copyright and license headers