Simplified std14 headers