(Program {+(This)+} {-(Return {-(This)-})-})