diff --git a/math.aqua b/math.aqua
index 26e62e9..7f25708 100644
--- a/math.aqua
+++ b/math.aqua
@@ -1,3 +1,5 @@
+aqua MathLib declares *
+
 service Math("math"):
     -- x + y
     add(x: i64, y: i64) -> i64
diff --git a/subnet.aqua b/subnet.aqua
index 2d4e928..eb51503 100644
--- a/subnet.aqua
+++ b/subnet.aqua
@@ -1,3 +1,5 @@
+aqua SubnetLib declares *
+
 data Worker:
   pat_id: string
   host_id: string
diff --git a/workers.aqua b/workers.aqua
index 610fcc1..50a1750 100644
--- a/workers.aqua
+++ b/workers.aqua
@@ -1,3 +1,5 @@
+aqua WorkersLib declares *
+
 import PeerId from "./builtin.aqua"
 
 -- Available only on rust peers