print("Enter a string: ");
str msg = read(32);
print(msg);

nat[32] test = read(32);

halt;