boot.js: global_* named variables not used at all