>>784
typecase?