all.v 532 Bytes