diff --git a/src/libc/include/owi.h b/src/libc/include/owi.h
index a202a98ea..f14c28d69 100644
--- a/src/libc/include/owi.h
+++ b/src/libc/include/owi.h
@@ -1,26 +1,32 @@
 #ifndef _OWI_H
 #define _OWI_H
 
-void *owi_malloc(void *base, unsigned int size);
-
-void owi_free(void *);
-
-char owi_i8(void);
-
-int owi_i32(void);
-
-long long owi_i64(void);
-
-float owi_f32(void);
-
-double owi_f64(void);
-
-_Bool owi_bool(void);
-
-void owi_assume(int c);
-void owi_assert(int c);
-
-void owi_abort(void);
-void owi_exit(int c);
+__attribute__((import_module("summaries"), import_name("alloc"))) void *
+owi_malloc(void *, unsigned int);
+__attribute__((import_module("summaries"), import_name("dealloc"))) void
+owi_free(void *);
+
+__attribute__((import_module("symbolic"), import_name("i8_symbol"))) char
+owi_i8(void);
+__attribute__((import_module("symbolic"), import_name("i32_symbol"))) int
+owi_i32(void);
+__attribute__((import_module("symbolic"), import_name("i64_symbol"))) long long
+owi_i64(void);
+__attribute__((import_module("symbolic"), import_name("f32_symbol"))) float
+owi_f32(void);
+__attribute__((import_module("symbolic"), import_name("f64_symbol"))) double
+owi_f64(void);
+__attribute__((import_module("symbolic"), import_name("bool_symbol"))) _Bool
+owi_bool(void);
+
+__attribute__((import_module("symbolic"), import_name("assume"))) void
+owi_assume(int);
+__attribute__((import_module("symbolic"), import_name("assert"))) void
+owi_assert(int);
+
+__attribute__((import_module("summaries"))) __attribute__((import_name("abort"))) void
+owi_abort(void);
+__attribute__((import_module("summaries"))) __attribute__((import_name("exit"))) void
+owi_exit(int);
 
 #endif
diff --git a/src/libc/src/owi.c b/src/libc/src/owi.c
index 9b7afedc3..9f3f8c06f 100644
--- a/src/libc/src/owi.c
+++ b/src/libc/src/owi.c
@@ -1,29 +1 @@
 #include <owi.h>
-
-__attribute__((import_module("summaries"), import_name("alloc"))) void *
-owi_malloc(void *, unsigned int);
-__attribute__((import_module("summaries"), import_name("dealloc"))) void
-owi_free(void *);
-
-__attribute__((import_module("symbolic"), import_name("i8_symbol"))) char
-owi_i8(void);
-__attribute__((import_module("symbolic"), import_name("i32_symbol"))) int
-owi_i32(void);
-__attribute__((import_module("symbolic"), import_name("i64_symbol"))) long long
-owi_i64(void);
-__attribute__((import_module("symbolic"), import_name("f32_symbol"))) float
-owi_f32(void);
-__attribute__((import_module("symbolic"), import_name("f64_symbol"))) double
-owi_f64(void);
-__attribute__((import_module("symbolic"), import_name("bool_symbol"))) _Bool
-owi_bool(void);
-
-__attribute__((import_module("symbolic"), import_name("assume"))) void
-owi_assume(int);
-__attribute__((import_module("symbolic"), import_name("assert"))) void
-owi_assert(int);
-
-__attribute__((import_module("summaries"))) __attribute__((import_name("abort"))) void
-owi_abort(void);
-__attribute__((import_module("summaries"))) __attribute__((import_name("exit"))) void
-owi_exit(int);