-long foobar(long);
-long foobar2(long);
-long foobar3(long);
+long pvs1(long, long, long);
+long pvs2(long, long, long);
+long pvs3(long, long, long);
+long pvs4(long, long, long);
-long tmp[] = {1111, 2222, 3333};
-/*
-asm( "\tpush %%rax\n"
- "\tmovq $42, %%rax\n"
- "\tmovq %%rax, 218\n"
- "\tpop %%rax\n" :: );
-*/
-RET((foobar((long) tmp) == tmp[2])
- && (foobar2((long) tmp) == tmp[1]));
- //&& (foobar3(0xDEAD) == 42));
+
+RET((pvs1(2,3,5) == -5) && (pvs2(2,3,5) == -13) && (pvs3(2,3,5) == 1) && (pvs4(2,3,5) == -4));