Android runtime library for the RV-Monitor environment.