Issue #20: cast specification