all.v 515 Bytes