#!/bin/bash
echo sleep $1
sleep $1
shift
echo exec "$@"
exec "$@"
