c++11 backend: more builtins