Add 'get2' to prelude.