Use `list*` to reduce size of bytecode