#!/usr/pkg/bin/ocamlruni
