function window::onload() {} window.onload = function onload() {} //semmle-extractor-options: --experimental