use warnings;
    use strict;

    use Test::More;
    use Test::LectroTest;

    {
        no warnings;
        sub Test::Builder::ok { $_[1] ? 1 : 0 }  # redefine ok()
    }

    Property {
        ##[ x <- Int( range=>[0,10] ) ]##
        cmp_ok( $x, '>=', 0, "" );
    }, name => "cmp_ok() works with LectroTest";