function Error() {}
Error.prototype.toString = function() {};

function String() {}
String.prototype.toString = function() {};

function Array() {}
Array.prototype.toString = function() {};

//semmle-extractor-options: --externs