change integer type to deal with shortcoming of Frama-C
add example for unsigned long