#!/bin/sh
./toysmt "$1"