cmp_ok(2048, "ge", 512, "2048 >= 512");