compiler-builtins-zynq/testcrate/tests/generated.rs