(@-@) (@-@) (@-@) (@-@) >< if 2018-12

• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• >< (0)
• if (1)