#include <stdio.h>
 
 int main() {
    FILE *fp;
 
    fp = fopen("core","w+");
 
    fseek(fp,100000000,0);
    fputc('*',fp);
 
    fclose(fp);
    return 0;
 }