function doNothing() {
}