Queue push entry point could take an int as a type, not a string, because we are passing an appID, not at address.
Queue push entry point could take an int as a type, not a string, because we are passing an appID, not at address.