#!/bin/sh

PATH=/bin:/sbin:/usr/bin:/usr/sbin

file=/var/db/cp_times

if [ -n "$1" ]
then
    s=$1
    if [ -s $file ]; then
      set `cat $file`
      eval s=\"\${$s}\"
      [ "$s" = "" ] && s=0
      echo $s
    else
      echo 0
    fi
    exit 0
fi

set `sysctl kern.cp_times`
shift
echo $* >> $file.tmp && mv $file.tmp $file