CORE: apply WELL512 to battleutils