#include "rust.h"
fn(main(), int) {
let_mut(a, int) = 7;
a += 1;
print("Hello, World!\n", a);
Ok();
}