def print_greeting(model, observable):
    """
    Prints some user greeting information
    """
    print('*' * 80)
    print('* MODEL')
    print('*' * 80)
    print(model)
    print('*' * 80)
    print('* OBSERVABLE VARIABLES')
    print('*' * 80)
    print('\n'.join(sorted(observable)))
