Added some prelude functions