[history] What is the origin of foo and bar?