#1 demo KIF test