{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"check(300,"}]}
    check(300, WORD_BITS..WORD_BITS * 2);
    check(300, 10..10);
    check(300, WORD_BITS - 1..WORD_BITS * 2);