Ir remote library for proteus