module test {
    void run() {
        @Inject Console console;
        console.print($"{"alphaBETA".toLowercase()=}");
        console.print($"{"alphaBETA".toUppercase()=}");
    }
}