fn main() {
    polyhorn_build::build();
}