SSA impl