int main() {
    char buffer[16] = {0};
    (void)buffer;
    return 0;
}