platform-provided != abstract