test of autoprogram with load_into_counting