[
  {"type":"Comment","value":"# Where should we write the GIF?"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Output"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralString","value":"demo.gif"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Comment","value":"# Set up a 1200x600 terminal with 46px font."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Set"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"FontSize"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumber","value":"46"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Set"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Width"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumber","value":"1200"},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Set"},
  {"type":"TextWhitespace","value":" "},
  {"type":"NameBuiltin","value":"Height"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumber","value":"600"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Comment","value":"# Type a command in the terminal."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Type"},
  {"type":"Punctuation","value":"@"},
  {"type":"LiteralNumber","value":"100"},
  {"type":"Text","value":"ms"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralStringDouble","value":"\"echo 'Welcome to VHS!'\""},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Comment","value":"# Pause for dramatic effect..."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Sleep"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumber","value":"500"},
  {"type":"Text","value":"ms"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Comment","value":"# Run the command by pressing enter."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Enter"},
  {"type":"TextWhitespace","value":"\n\n"},
  {"type":"Comment","value":"# Admire the output for a bit."},
  {"type":"TextWhitespace","value":"\n"},
  {"type":"Keyword","value":"Sleep"},
  {"type":"TextWhitespace","value":" "},
  {"type":"LiteralNumber","value":"5"},
  {"type":"Text","value":"s"}
]