Symbol: pid_ok