An HP48sx emulator
