"""ProgramBench adapter helpers."""