#!/bin/sh
FILES="host/forth.f"
# echo Preloading $FILES
exec badnop $* $FILES host/stdin.f