Re-import `demo` module