buggy2imp.c finished