tree 7d70f8545e7d9b2f94275a793a9e3e5699b8d924
parent c877a6c44324b0135017ab1e1300c0d666746c84
author Johnathan Van Why <jrvanwhy@google.com> 1617225080 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1617225080 -0700

Migrate RawSyscalls' inputs and outputs to arrays.

I didn't originally think of using pattern matching to avoid indexing in RawSyscalls' implementations, which made me avoid using ararys. This switches the code over to using arrays, which simplifies the design of RawSyscalls a bit.