implemented *in* the platform layer