module Soroban::Label0