* [[byte code]] format for [[web assembly]]
*