encoding builtin messages