Explicit type cast for args