adding in template into builtins.h