ElectroBOOM F* Compilation