typecase on void fixed