solutions/CCTF_Solutions_main/frontend/zok_program