So how much does a hello world weight?