Custom assertions

Start a module for custom assertions
`write_binary`?