straight_line_program_interpreter