(@-@) (@-@) (@-@) (@-@) >< fate/zero if 2022-12

• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• (@-@) (0)
• >< (0)
• fate/zero (1)
• if (1)