added prototype/basic impl of kill_process, verify_address