The first commit of AmCheck