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);
}