// This file is not named lua.h as it would collide with firmware/ext/lua/src/lua.h #pragma once void startLua();