Pure-python AVM library