#!/usr/bin/bash
perf record -g "$@"
