let
default_default_align = (
`
left : alignment)