and type-casting