Updated to include proxy stub instructions.