Converted 3mm.c to use annotations.