clarify test case for ExecV syscall
add ExecV syscall stub and fetch the argc and argv corrrectly