sacado a.out