where are these functions defined? I don't see them imported above