#!/bin/sh
echo "RUNTIME: $*"
