X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=gesamt%2Fcodeb_intelli_13.call;fp=gesamt%2Fcodeb_intelli_13.call;h=bb251ad81a037eeed007424132719aea7f46fd04;hb=70aa500ad5f5643fa386027158bf774a8195f604;hp=0000000000000000000000000000000000000000;hpb=d31634c82c3a5328527052ee3d660f1725bbdaff;p=testub10.git

diff --git a/gesamt/codeb_intelli_13.call b/gesamt/codeb_intelli_13.call
new file mode 100644
index 0000000..bb251ad
--- /dev/null
+++ b/gesamt/codeb_intelli_13.call
@@ -0,0 +1,3 @@
+extern long long m(long long this);
+
+RET(m(0xBABE) == 0);
\ No newline at end of file