Source code
上記のソースコードは以下のソースコードと等価である。