Dotty's 64

@dotty's641554