(builtin_modules): Initialize cost_hi from