import "test/data/diamond/d.kmp"

res : -- Int
    =: [ rand 1 + ]