Problemas con punteros a cadenas [C]

[nxyblack]

Hola!!

Alguien me podría orientar y decirme porque el programa deja de funcionar cuando tiene que hacer la asignación *aux = '\0'

El programa simplemente me muestra (o deberia mostrar) la cadena "AAA000" separada en "000" y "AAA".

Código:

#include <stdio.h>
#include <string.h>

int main(void)
{
   char *cadena = (char *)"AAA000";
   char *aux;
   printf("%s\n", cadena);
   aux = strchr(cadena, '\0');
   aux -= 3;
   printf("%s\n", aux);
   *aux = '\0';
   aux -= 3;
   printf("%s\n", aux);
   return 0;
}