Add hasksyn.