#!/bin/sh

target_kernel="$(dpkg -l linux-headers-\*-amd64 | awk '/^ii/ { print $2 ; exit }' | sed s/linux-headers-//)"

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