main: 
func4_1: integer_type a, pointer_type b, pointer_type c, 
func4_2: integer_type a, pointer_type b nonnull, pointer_type c, 
func4_3: integer_type a, pointer_type b nonnull, pointer_type c nonnull,