Print in prelude

r? @brson