Android port of my HP67 Emulator