diff --git a/ices/80125.rs b/ices/80125.rs
index 66c106e0..1fba6d4e 100644
--- a/ices/80125.rs
+++ b/ices/80125.rs
@@ -6,3 +6,5 @@ pub struct Struct(ExternCallback);
 pub extern "C" fn register_something(bind: ExternCallback) -> Struct {
     Struct(bind)
 }
+
+fn main() {}