Add smi files for hash-inc.