diff --git a/README.md b/README.md
index 7aa060e..8bd0129 100644
--- a/README.md
+++ b/README.md
@@ -44,14 +44,14 @@ $ make init
 $ git clone git@github.com:v420v/ibu.git
 $ cd ibu
 $ make up
-$ make ibulang
+$ make ibu
 $ make init
 ```
 
 | Command | Execution |
 |-----------|------------------------|
 | `make up` | `docker compose up -d` |
-| `make ibulang` | `docker compose exec ibulang bash` |
+| `make ibu` | `docker compose exec ibulang bash` |
 | `make down` | `docker compose down` |
 
 ## Usage
diff --git a/docs/docs.md b/docs/docs.md
index 4fb76f5..08e567e 100644
--- a/docs/docs.md
+++ b/docs/docs.md
@@ -27,14 +27,14 @@ $ make init
 $ git clone git@github.com:v420v/ibu.git
 $ cd ibu
 $ make up
-$ make ibulang
+$ make ibu
 $ make init
 ```
 
 | Command | Execution |
 |-----------|------------------------|
 | `make up` | `docker compose up -d` |
-| `make ibulang` | `docker compose exec ibulang bash` |
+| `make ibu` | `docker compose exec ibulang bash` |
 | `make down` | `docker compose down` |
 
 ## Usage
@@ -218,6 +218,17 @@ label:
 }
 ```
 
+### Example 3
+```
+#include "std/header.ibu"
+
+func main() i32 {
+    for let i i32 = 0; i < 10; i++ {
+        printf("%d\n", i);
+    }
+}
+```
+
 ## Variable length args
 Variable length args can be accessed with built-in variables `argv` and `argc`.
 
diff --git a/docs/docs_jp.md b/docs/docs_jp.md
index 2840481..411dcc4 100644
--- a/docs/docs_jp.md
+++ b/docs/docs_jp.md
@@ -28,14 +28,14 @@ $ make init
 $ git clone git@github.com:v420v/ibu.git
 $ cd ibu
 $ make up
-$ make ibulang
+$ make ibu
 $ make init
 ```
 
 | コマンド | 実行内容 |
 |-----------|------------------------|
 | `make up` | `docker compose up -d` |
-| `make ibulang` | `docker compose exec ibulang bash` |
+| `make ibu` | `docker compose exec ibulang bash` |
 | `make down` | `docker compose down` |
 
 ## コンパイラの使い方
@@ -219,6 +219,17 @@ label:
 }
 ```
 
+### 例３
+```
+#include "std/header.ibu"
+
+func main() i32 {
+    for let i i32 = 0; i < 10; i++ {
+        printf("%d\n", i);
+    }
+}
+```
+
 ## 可変長引数
 可変長引数には、組み込み変数 `argv` `argc`でアクセスできます。