def string_file(source):
    """
    Read the content of a file (source) into a string. Leading and trailing
    white space is removed.
    """
    with open(source) as f:
        s = f.read().strip()
    return s