If there are test cases that are not supported yet, please leave them (and use `//~ code` as the other tests do).