#! /bin/bash

time $@ > /dev/null