{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
    // alignment greater than 16 where necessary.
    // It isn't stated explicitly in the standard, but in practice we use
    if layout.layout.align.abi.bytes() > 8 {