p7 and prime.rs