#import full
def concept size
def concept little
def concept girl
def concept little x as set_attr(x, size, little) ret x
def concept the x ret memory(x)
def concept how is x as get_attr(x, size)


