This is a special kind of basic (named SmileBASIC of course) so I suggest checking out the enclosed instruction manual There is also smilebasicsource, which is where people discuss about smilebasic and where public keys are stored