introducing builtins in footnotes too