#!/bin/sh

target_kernel="$(apt-cache show linux-headers-amd64 | awk '/^Depends/ { print $2 }' | sed s/linux-headers-//)"

stap -r "$target_kernel" -L 'process("/bin/ls").function("format_user")' | grep -q uid_t
