The arguments given to and returned by emulated methods should be type-guarded by default via "convert/unconvert". -- FOR NOW, LET'S USE FAKE CONVERTERS --