Small programs and demos written to assert various scenarios.