prime_ext.v