Added stub of updateState function, and fixed random import