{
    "vinterr" : [
        ("va_copy", ("arg4", "temp")),
    ]
}