It seems bad to just code up our implementation of the instructions and hope for the best. We should have tests to make sure they are correct. cc @pmntang
