function log() {
    # $1 is a string to write to the log
    # $2 is the path of the log file
    echo "$1"
    echo "$1" >> "$2"
}
