yes, it’s a mismatch between the documentation and actual method name. All the VCS drawer info was pulled from the sdk header files, so we have an error between this
@block_sig{saveFile("filename.txt", buffer, 100);}
and this
int32_t savefile(const char *name, uint8_t *buffer, int32_t len );
you will need to typecast the int array and also set the length to the byte length rather than the number of elements.
Brain.SDcard.savefile( "filename.c", (uint8_t *)example, sizeof(example) );