Declare vs read symbols, but busted translation stuff :(