elpensi fu'ivla

x1 is a thunk for computing expression x2