use standard library definitions for some of these