DO	!= ./scripts/gen-prog -n malloc -p init init.c
DO	!= ./scripts/gen-simple -n malloc -p init