Another note on extraction/builtins