#include <stdlib.h>
#include <alloca.h>

main() {
  char* c=alloca(23);
}