[ fix ] semantics of THBCode