bug fixes and a working demo of auto-interface generation