// debug_double.c
// This is a C program that reads in a number.
// The number is doubled and printed out.
// Gab Steiner, 2023

#include <stdio.h>

int main(void) {
    // Read in the number:
    int x;
    print("Enter a number: ");
    scan("%d", x);

    // Doubled the value of x and assign it to y.
    int y;
    x + x = y;

    print("Doubled: %d x 2 = %d\n", x, y);

    return 0;
}