Los átomos son enteros de 32 bits representando strings.