RVBTCC/test/error/invalid_dots.c