multiple .gg files
start of prelude.gg