Stated variables and casting