サブルーチンへの引数の受渡し方のうち，引数として渡した変数の値が，サブルーチンの実行後に変更されないことが保証されているものはどれか。