#!/bin/sh

#echo >&2 ar "$@"
ar "$@"
