#include <stdio.h>
#ifdef HAS_ISA_2_07
int __attribute__ ((noinline)) htm_begin (int r3, int r4)
{
int ret;
if (__builtin_tbegin (0)) {
ret = r3;
__builtin_tend (0);
} else {
ret = r4;
} return ret;
}
#endif
int main (void) {
#ifdef HAS_ISA_2_07
int ret;
ret = htm_begin (10, 20);
printf ("ret = %d, expected = 10\n", ret);
#endif
return 0;
}