follow c style rigorously
change gui font to Menlo
use ? for file-wide replace