KIM-1 and Apple I