Execution order: BEGIN{}, (possible save of state
       through compiler back-end), INIT{}, program runs, END{}.