port over builtins example