Mostly untested effects code