made i12 an element of the atom datatype and propagated the change through the code