module helloworld_test

import StdEnv, helloworld

Start
# state = 0
# state = ginit state
# state = gopen state
= state