test typecasting and syntax extensions