Using generated headers

You're welcome. I hope Arduino CLI will provide you with an easy path to your goal!