Shell contracts

Very simple test case with a simple command syntax.