Wrote specs for get_pid