[artf595473] type checked