Add newline.
Remove "Halt" command.
Use Int instead of Int64.
Require an integer literal in vector types.