support code for typechecker assignment
oasis setup