mysql UDF example: getpid