module Soroban::Label1