Move everything to the top level to make Go happy