/*
 * execute.hpp
 *
 *  Created on: 18 Jul 2021
 *      Author: Andreas Berthoud
 */

#ifndef EXECUTE_HPP_
#define EXECUTE_HPP_

extern "C" void pop_and_execute_commands();

#endif /* EXECUTE_HPP_ */