test input generation for programs with pointers

07:00 am 01/01/1970