
require_extension(EXT_ZKNH);

#define ROR32(a,amt) ((a << (-amt & (32-1))) | (a >> (amt & (32-1))))

uint32_t a = RS1;

WRITE_RD(
    sext32(ROR32(a, 17) ^ ROR32(a,19) ^ (a >> 10))
);

#undef ROR32

