With Quadruples for globals (not complete)