STORE_LOCAL(variable kept1)
STORE_LOCAL(value result)
STORE_LOCAL(variable kept1)
STORE_LOCAL(variable kept2)
STORE_LOCAL(value kept3)
STORE_LOCAL(variable kept2)
STORE_LOCAL(variable kept4)
STORE_LOCAL(variable kept4)