Tried printing builtins