• Kinds
• Functions
• Errors
• Memory management
• Functions that do not decrement their jv arguments' references
• Implementation