123456789import stringsmain() { assert strings.hasPrefix("Hello", "") assert strings.hasPrefix("Hello", "H") assert strings.hasPrefix("Hello", "He") assert !strings.hasPrefix("Hello", "World") assert !strings.hasPrefix("Hello", "Hello World")}
