// file: sca-tests/tests/kb_flow.rs