sources/0506_loop_limit.c:5.0-9: [|x>=0|]
Output: [|x>=0|]