/****************************************************************************
 * hai2.c
 *
 * Computer Science 50
 * David J. Malan
 *
 * Says hello to just David.
 *
 * Demonstrates use of CS 50's library.
 ***************************************************************************/
       
#include <cs50.h>
#include <stdio.h>

int
main(int argc, char *argv[])
{
    string name = "David";
    printf("O hai, %s!\n", name);
}