Fixed a bug where some constants defined with const/high16 were getting inlined with a wrong value.