a few more input examples