where's `get_pid` defined?