class ThisIsATest():
    def __init__(self):
        self.test = 1

    def another_one(self):
        print "Hello, world!"

    def another_two(self):
        print "Hello, world!"

    def another_three(self):
        print "Hello, world!"

    <selection>def another_four(self):
        print "Hello, world!"</selection>