#include "zicfiss.h"

if (xSSE()) {
  POP_VALUE_FROM_SS_AND_CHECK(READ_REG(X_T0));
}