asdf-vm loading