// This file is encoded with UTF-16 BE, which produces an error on character 0 with JSHint