printf mabi