core.v 994 Bytes