/*
* Countdown
*/
dtrace:::BEGIN
{
val1 = 11;
}
profile:::tick-5sec
/val1 > 0/
{
val1 -- ;
trace(val1);
}
profile:::tick-5sec
/val1 == 0/
{
exit(0);
}