abstract machine-dependent settings