def random(): return 42 # quick hack for now