. "defruct" . .