function write_variables() {
}
write_variables();