var fs = require('fs'); fs.move = fs.rename; //semmle-extractor-options: --externs