var aspect_ratio = 17.0 / 7.0;
var image_width = 400;
var image_height = Math.trunc(image_width / aspect_ratio);
var viewport_height = 2;
var viewport_width = viewport_height * image_width / image_height;
print("Aspect ratio:", aspect_ratio);
print("Image:", image_width, "x", image_height);
print("Viewport:", viewport_width, "x", viewport_height);
dmFyIGFzcGVjdF9yYXRpbyA9IDE3LjAgLyA3LjA7CnZhciBpbWFnZV93aWR0aCA9IDQwMDsKIAp2YXIgaW1hZ2VfaGVpZ2h0ID0gTWF0aC50cnVuYyhpbWFnZV93aWR0aCAvIGFzcGVjdF9yYXRpbyk7CiAKdmFyIHZpZXdwb3J0X2hlaWdodCA9IDI7CnZhciB2aWV3cG9ydF93aWR0aCA9IHZpZXdwb3J0X2hlaWdodCAqIGltYWdlX3dpZHRoIC8gaW1hZ2VfaGVpZ2h0OwogCnByaW50KCJBc3BlY3QgcmF0aW86IiwgYXNwZWN0X3JhdGlvKTsKcHJpbnQoIkltYWdlOiIsIGltYWdlX3dpZHRoLCAieCIsIGltYWdlX2hlaWdodCk7CnByaW50KCJWaWV3cG9ydDoiLCB2aWV3cG9ydF93aWR0aCwgIngiLCB2aWV3cG9ydF9oZWlnaHQpOw==