def *2 2 * enddef
def ++ 1 + enddef
def composite swap exec swap exec enddef

getid ++ getid *2 3 composite print /# result: 7 #/