generated at
accumulator machine