Gral, the Shark

When Gral, the Shark enters the battlefield,
if you cast it from your hand, reveal cards
from the top of your library until you reveal
a creature card. Exile that card, then shuffle
the rest of the revealed cards into your library.
Gral gets +X/+Y, where X is the exiled
creature card's power and Y is its toughness.
When Gral dies, return all cards exiled
with Gral to its owner's hand.