diff --git a/index.html b/index.html
index 8733664..00a479a 100644
--- a/index.html
+++ b/index.html
@@ -64,6 +64,8 @@
Keywords
out: The return of a function.
require: A condition to prove with formal verification at compile-time.
assume: A condition assumed to be true at compile-time.
+ sizeof: C's sizeof.
+ unreachable: Denoates the end of execution, all following statements are unreachable.
Tentative keywords