proc_terminate: handle string signals separately, convert all others to int32.