add rust builtin const