demo KIF test