There is also S40 platform powering Nokia Asha pseudo-smartphones. S40 is not Symbian, it is a distinct OS.