// Strings - String manipulation with Std::String
import Std::Io::{PrintLine, PrintInt};
import Std::String::{String_Len, String_Eq, String_Concat};

func Main() -> int {
    let hello: String = "Hello";
    let world: String = "World";
    
    PrintLine("String operations:");
    
    // Length
    PrintLine("Length of 'Hello':");
    PrintInt(String_Len(hello));
    PrintLine("");
    
    // Concatenation
    let greeting: String = String_Concat(hello, ", ");
    let greeting2: String = String_Concat(greeting, world);
    let full: String = String_Concat(greeting2, "!");
    
    PrintLine("Concatenated:");
    PrintLine(full);
    
    // Equality
    if String_Eq(hello, "Hello") {
        PrintLine("'Hello' equals 'Hello'");
    }
    
    if !String_Eq(hello, world) {
        PrintLine("'Hello' does not equal 'World'");
    }
    
    return 0;
}
