1 /* bug-435214.c
2  */
3 #include <testfwk.h>
4 
divide(long a)5 unsigned long divide(long a)
6 {
7     return a/512ul;
8 }
9 
10 void
testDivide(void)11 testDivide(void)
12 {
13   ASSERT(divide(1300) == 2);
14   ASSERT(divide(0x12345678) == 0x91A2B);
15 }
16 
17