Add a basic prototype for “do”