memf -> for/or in 'implied-atomic?'