#!/bin/csh -f

./oc-rt-easy
./oc-rt-hard
