add check and autocheck examples