Input: statement 0 -------------------------------------------