s_expressions-interpreter_loop: new generic procedure providing the main loop of a S-expression interpreter