suppress warnings for safe casts