Use the appropriate pushliteral()