// 0 remove variable printf at ("test/cases/small/declaration.c": line 1)
// 0 remove statement at ("test/cases/small/declaration.c": line 4)
// 0 replace by zero at ("test/cases/small/declaration.c": line 4)

int printf(const char *, ...);
int main()
{
    printf("Hello, World!");
}