file @file1;

/* Interroga dimensione corrente del file */

int64 size = file1.size();