Static types

Yasuhiro Yamamoto