#!/bin/bash

time bash $(dirname $0)/timed "$@"