compiler-builtins-zynq/testcrate/src/lib.rs