src/builtin/generated.rs
