nocrypto
val mem : 'a -> 'a array -> bool