diff --git a/Makefile b/Makefile
index fbfbb18..a28f966 100644
--- a/Makefile
+++ b/Makefile
@@ -43,4 +43,7 @@ $(BUILD_DIR):
 clean:
 	rm -rf $(BUILD_DIR) $(TARGET)
 
-.PHONY: all clean
+run: $(TARGET)
+	./$(TARGET)
+
+.PHONY: all clean run
diff --git a/libs/file.sols b/libs/file.sols
index fe899ec..6e1c08b 100644
--- a/libs/file.sols
+++ b/libs/file.sols
@@ -1,5 +1,5 @@
 def file_Read(string file) string {}
-def file_Write(string file, string content) {}
+def file_Write(string file, string content) bool {}
 
 ground {
     extern "fileio"