boost proto EDSL
format