Typespec for fsm_pid/1