- Added write memory message for debugger
- Fixed integer encoding for integers