unlifted literals