def test_random(self):
    src = '#include <stdlib.h>\n#include <stdio.h>\n\nint main()\n{\n    srandom(0xdeadbeef);\n    printf("%ld\\n", random());\n}\n'
    self.do_run(src, '956867869')
def test_random(self):
    src = '#include <stdlib.h>\n#include <stdio.h>\n\nint main()\n{\n    srandom(0xdeadbeef);\n    printf("%ld\\n", random());\n}\n'
    self.do_run(src, '956867869')