void main() {
    test(0 < 5);
    test(4 < 5);
    test(5 < 5);
    test(6 < 5);
    test(10 < 5);
    test(0.0 < 5.0);
    test(4.0 < 5.0);
    test(5.0 < 5.0);
    test(6.0 < 5.0);
    test(10.0 < 5.0);
}