/* Any copyright is dedicated to the Public Domain.
 * http://creativecommons.org/publicdomain/zero/1.0/ */

// Skip a few lines
// 5
// 6
// 7
// 8
// 9
throw new Error("Let's see if this error is obtained with the right origin");