I'm not sure what we do about platforms that don't support these functions (e.g., windows).