bash, functions, +pidof