typing casting instructions. problem with variadic functions just as printf