sane executable size