fixed direct-mapping type-mapped pointer result types