Update rasm_engine.hpp