(replace-string "boolean" "bool")
(save-buffer)