Prototype: integer
